- first order theory
- 一阶理论
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
first order theory
Look at other dictionaries:
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Order theory — For a topical guide to this subject, see Outline of order theory. Order theory is a branch of mathematics which investigates our intuitive notion of order using binary relations. It provides a formal framework for describing statements such as… … Wikipedia
First-order control — In control theory, first order control is when a desired result is attempted by adjusting a scalar (first order) control. Such mechanisms, where first order change successfully produces desired results, are called first order mechanisms . First… … Wikipedia
First-order reduction — A first order reduction is a very weak type of reduction between two computational problems in computational complexity theory. A first order reduction is a reduction where each component is restricted to be in the class FO of problems calculable … Wikipedia
First order partial differential equation — In mathematics, a first order partial differential equation is a partial differential equation that involves only first derivatives of the unknown function of n variables. The equation takes the form: F(x 1,ldots,x n,u,u {x 1},ldots u {x n}) =0 … Wikipedia
List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… … Wikipedia
Pecking Order Theory — In the theory of firm s capital structure and financing decisions, the Pecking Order Theory or Pecking Order Model was developed by Stewart C. Myers in 1984. It states that companies prioritize their sources of financing (from internal financing… … Wikipedia
Ideal (order theory) — In mathematical order theory, an ideal is a special subset of a partially ordered set (poset). Although this term historically was derived from the notion of a ring ideal of abstract algebra, it has subsequently been generalized to a different… … Wikipedia
Completeness (order theory) — In the mathematical area of order theory, completeness properties assert the existence of certain infima or suprema of a given partially ordered set (poset). A special use of the term refers to complete partial orders or complete lattices.… … Wikipedia
Theory (mathematical logic) — This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… … Wikipedia
Order of Preachers — Order of Preachers † Catholic Encyclopedia ► Order of Preachers As the Order of the Friars Preachers is the principal part of the entire Order of St. Dominic, we shall include under this title the two other parts of the order: the… … Catholic encyclopedia
